Buy Used and New Arne Skou Books

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings: 575 (Lecture Notes in Computer Science)

by Kim G. Larsen,Arne Skou

ISBN 13: 9783540551799

Format: Illustrated (504 pages)
Publisher: Springer
Published: 22 Apr 1992

Save for later